搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Proceedings of the First Donegani Scientific Workshop on strategies for computer chemistry 0 索取号：O6-39/E902 作者：Donegani Scientific Workshop (1st : 1987)、Tosi、 Camillo.、Istituto di ricerche Donegani di Novara.、出版社：Dordrecht ; Boston : Kluwer Academic Publishers, 1989.		Group actions on manifolds 0 索取号：O152.8/E901 作者：AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Group Actions on Manifolds (1983 : University of Colorado)、Schultz、 Reinhard、 1943-、American Mathematical Society.、Institute of Mathematical Statistics.、Society for Industrial and Applied Mathematics.、出版社：Providence, R.I. : American Mathematical Society, c1985.
	Natural product chemistry : proceedings of the First International Symposium and Pakistan-U.S. Binational Workshop, Karachi, Pakistan 0 索取号：O629-53/E901 作者：International Symposium and Pakistan-U.S. Binational Workshop (1st : 1984 : Karachi、 Pakistan)、Rahman、 Atta-ur-、 1942-、出版社：Berlin ; New York : Springer-Verlag, c1986.		The Arcata Conference on Representations of Finite Groups 0 索取号：O152.6-53/E901 作者：Arcata Conference on Representations of Finite Groups (1986 : Humboldt State University)、Fong、 Paul、 1933-、出版社：Providence, R.I. : American Mathematical Society, c1987.
	The Engineering uses of coherent optics : proceedings and edited discussion of a conference held at the University of Strathclyde, Glasgow 8-11 April, 1975 0 索取号：O436-53/E801 作者：出版社：Cambridge [Eng.] ; New York : Cambridge University Press, 1976.		Arboreal group theory : proceedings of a workshop held September 13-16, 1988 0 索取号：O152.2/E992 作者：出版社：New York : Springer-Verlag, 1991.
	Organotransition-metal chemistry : [proceedings of the first Japanese-American seminar on "Prospects in Organotransition-Metal Chemistry," held at the University of Hawaii's East-West Center, Honolulu, May 1-3, 1974] 0 索取号：O627/E802 作者：出版社：New York : Plenum Press, [1975]		Structure and function of iron storage and transport proteins : proceedings of the Sixth International Conference on Proteins of Iron Storage and Transport, held in Sapporo, Japan on 11-14 July 1983 0 索取号：O614.81-53/E901 作者：International Conference on Proteins of Iron Storage and Transport (6th : 1983 : Sapporo-shi、 Japan)、Urushizaki、 Ichir̄О.、出版社：Amsterdam ; New York : Elsevier Science Publishers ; New York, N.Y. : Sole distributors for the USA and Canada, Elsevier Science Pub. Co., 1983.
	Coherence, cooperation and fluctuations : proceedings of the symposium on the occasion of the sixtieth birthday of professor Roy J. Glauber, Harvard University, October 19, 1985 0 索取号：O431/E903 作者：出版社：Cambridge ; New York : Cambridge University Press, 1986.		Lithium, controversies and unresolved issues : proceedings of the International Lithium Conference, New York, June 5-9, 1978 0 索取号：O614.11-53/E801 作者：International Lithium Conference (1978 : New York、 N.Y.)、Cooper、 T. B. (Thomas B.)、National Institute of Mental Health (U.S.)、New York University. School of Medicine.、Rockland Research Institute.、出版社：Amsterdam ; Princeton [N.J.] : Excerpta Medica ; New York : sole distributors for the USA and Canada, Elsevier North-Holland, 1979.
	Transition metals, 1977 : invited and contributed papers from the International Conference on Transition Metals held at the University of Toronto, 15-19 August 1977 0 索取号：O614-53/E801 作者：International Conference on the Physics of Transition Metals、 University of Toronto、 1977.、Lee、 M. J. G.、Perz、 J. M.、Fawcett、 E.、出版社：Bristol : Institute of Physics, 1978.		Inorganic compounds with unusual properties : a symposium sponsored by the Division of Inorganic Chemistry of the American Chemical Society, held at the University of Georgia, Athens, Ga., Jan. 6-8, 1975 0 索取号：O6-1/E8013 作者：出版社：Washington : The Society, 1976.
	Current trends in matrix theory : proceedings of the Third Auburn Matrix Theory Conference, held March 19-22, 1986 at Auburn University, Auburn, Alabama, U.S.A. 0 索取号：O151.21-53/E901 作者：Auburn Matrix Theory Conference (3rd : 1986 : Auburn University)、Uhlig、 Frank.、Grone、 Robert.、出版社：New York : North-Holland, c1987.		Practicing to take the GRE literature in English test : an official full-length edition of the GRE literature in English test administered in April 1983 0 索取号：H319.4:I/E9013 作者：出版社：Princeton, N. J. : published by Educational Testing Service for the Graduate Record Examinations Board, c1983.
	Algebra, analysis, and geometry : proceedings of the symposium in honor of Chen-Jung Hsu and Kung-Sing Shih, National Taiwan University, 27-29 June 1988 0 索取号：O15-53/E902 作者：出版社：Singapore ; Teaneck, N.J. : World Scientific, c1989.		University chemistry 0 索取号：O6/E8029.3 作者：Mahan、 Bruce H.、出版社：Reading, Mass. : Addison-Wesley Pub. Co., 1975.

	Proceedings of the First Donegani Scientific Workshop on strategies for computer chemistry 0 索取号：O6-39/E902 作者：Donegani Scientific Workshop (1st : 1987)、Tosi、 Camillo.、Istituto di ricerche Donegani di Novara.、出版社：Dordrecht ; Boston : Kluwer Academic Publishers, 1989.		Group actions on manifolds 0 索取号：O152.8/E901 作者：AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Group Actions on Manifolds (1983 : University of Colorado)、Schultz、 Reinhard、 1943-、American Mathematical Society.、Institute of Mathematical Statistics.、Society for Industrial and Applied Mathematics.、出版社：Providence, R.I. : American Mathematical Society, c1985.
	Natural product chemistry : proceedings of the First International Symposium and Pakistan-U.S. Binational Workshop, Karachi, Pakistan 0 索取号：O629-53/E901 作者：International Symposium and Pakistan-U.S. Binational Workshop (1st : 1984 : Karachi、 Pakistan)、Rahman、 Atta-ur-、 1942-、出版社：Berlin ; New York : Springer-Verlag, c1986.		The Arcata Conference on Representations of Finite Groups 0 索取号：O152.6-53/E901 作者：Arcata Conference on Representations of Finite Groups (1986 : Humboldt State University)、Fong、 Paul、 1933-、出版社：Providence, R.I. : American Mathematical Society, c1987.
	The Engineering uses of coherent optics : proceedings and edited discussion of a conference held at the University of Strathclyde, Glasgow 8-11 April, 1975 0 索取号：O436-53/E801 作者：出版社：Cambridge [Eng.] ; New York : Cambridge University Press, 1976.		Arboreal group theory : proceedings of a workshop held September 13-16, 1988 0 索取号：O152.2/E992 作者：出版社：New York : Springer-Verlag, 1991.
	Organotransition-metal chemistry : [proceedings of the first Japanese-American seminar on "Prospects in Organotransition-Metal Chemistry," held at the University of Hawaii's East-West Center, Honolulu, May 1-3, 1974] 0 索取号：O627/E802 作者：出版社：New York : Plenum Press, [1975]		Structure and function of iron storage and transport proteins : proceedings of the Sixth International Conference on Proteins of Iron Storage and Transport, held in Sapporo, Japan on 11-14 July 1983 0 索取号：O614.81-53/E901 作者：International Conference on Proteins of Iron Storage and Transport (6th : 1983 : Sapporo-shi、 Japan)、Urushizaki、 Ichir̄О.、出版社：Amsterdam ; New York : Elsevier Science Publishers ; New York, N.Y. : Sole distributors for the USA and Canada, Elsevier Science Pub. Co., 1983.
	Coherence, cooperation and fluctuations : proceedings of the symposium on the occasion of the sixtieth birthday of professor Roy J. Glauber, Harvard University, October 19, 1985 0 索取号：O431/E903 作者：出版社：Cambridge ; New York : Cambridge University Press, 1986.		Lithium, controversies and unresolved issues : proceedings of the International Lithium Conference, New York, June 5-9, 1978 0 索取号：O614.11-53/E801 作者：International Lithium Conference (1978 : New York、 N.Y.)、Cooper、 T. B. (Thomas B.)、National Institute of Mental Health (U.S.)、New York University. School of Medicine.、Rockland Research Institute.、出版社：Amsterdam ; Princeton [N.J.] : Excerpta Medica ; New York : sole distributors for the USA and Canada, Elsevier North-Holland, 1979.
	Transition metals, 1977 : invited and contributed papers from the International Conference on Transition Metals held at the University of Toronto, 15-19 August 1977 0 索取号：O614-53/E801 作者：International Conference on the Physics of Transition Metals、 University of Toronto、 1977.、Lee、 M. J. G.、Perz、 J. M.、Fawcett、 E.、出版社：Bristol : Institute of Physics, 1978.		Inorganic compounds with unusual properties : a symposium sponsored by the Division of Inorganic Chemistry of the American Chemical Society, held at the University of Georgia, Athens, Ga., Jan. 6-8, 1975 0 索取号：O6-1/E8013 作者：出版社：Washington : The Society, 1976.
	Current trends in matrix theory : proceedings of the Third Auburn Matrix Theory Conference, held March 19-22, 1986 at Auburn University, Auburn, Alabama, U.S.A. 0 索取号：O151.21-53/E901 作者：Auburn Matrix Theory Conference (3rd : 1986 : Auburn University)、Uhlig、 Frank.、Grone、 Robert.、出版社：New York : North-Holland, c1987.		Practicing to take the GRE literature in English test : an official full-length edition of the GRE literature in English test administered in April 1983 0 索取号：H319.4:I/E9013 作者：出版社：Princeton, N. J. : published by Educational Testing Service for the Graduate Record Examinations Board, c1983.
	Algebra, analysis, and geometry : proceedings of the symposium in honor of Chen-Jung Hsu and Kung-Sing Shih, National Taiwan University, 27-29 June 1988 0 索取号：O15-53/E902 作者：出版社：Singapore ; Teaneck, N.J. : World Scientific, c1989.		University chemistry 0 索取号：O6/E8029.3 作者：Mahan、 Bruce H.、出版社：Reading, Mass. : Addison-Wesley Pub. Co., 1975.